Under consideration for publication in Theory and Practice of Logic Programming 1 Clingo = ASP + Control: Preliminary Report Martin Gebser1,2 , Roland Kaminski2 , Benjamin Kaufmann2 , and Torsten Schaub2 ∗

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Mathematical logic
• Constraint programming
• Logic in computer science
• Programming paradigms
• Satisfiability modulo theories
• Answer set programming
• Stable model semantics
• G-code
• Subroutine
• Analogy
• Algorithm

Generalized Algorithms for Crew Planning: Survey and Future Directions for Railways Viswanathan Prem Kumar Michel Bierlaire Olivier Gallay

Source URL: www.strc.ch

• Operations research
• Business
• Economy
• Mathematics
• Crew scheduling
• Column generation
• Scheduling
• Memetic algorithm
• Schedule
• Nurse scheduling problem
• Mathematical optimization
• Integer programming

Mathematical Programming manuscript No. (will be inserted by the editor) Pierre Bonami G´erard Cornu´ejols Andrea Lodi Franc¸ois Margot

Source URL: wpweb2.tepper.cmu.edu

line

Source URL: www.strc.ch

• Statistics
• Mathematical analysis
• Mathematics
• Operations research
• Regression analysis
• Statistical models
• Estimation theory
• Mathematical optimization
• Multinomial logistic regression
• Discrete choice
• Maximum likelihood estimation
• Linear programming

Call for Papers Mathematical Programming, Series B Special Issue on Optimization Models and Algorithms for Data Science Data and decisions are more strongly linked in the information age than ever before. This special is

Source URL: optimisation.doc.ic.ac.uk

Degrees of undecidability of in Term Rewriting J¨org Endrullis, Herman Geuvers, Hans Zantema Radboud University Nijmegen, Technical University Eindhoven, Free University Amsterdam, The Netherlands CSL 2009

Source URL: www.cs.ru.nl

• Theoretical computer science
• Mathematics
• Logic
• Mathematical logic
• Formal languages
• Logic in computer science
• Automated theorem proving
• Logic programming
• Rewriting
• Confluence
• Rewrite order
• Substitution

Duality in Two-stage Adaptive Linear Optimization: Faster Computation and Stronger Bounds Dimitris Bertsimas Operations Research Center and Sloan School of Management, Massachusetts Institute of Technology, Cambridge, Ma

Source URL: www.optimization-online.org

• Mathematical optimization
• Operations research
• Convex optimization
• Linear programming
• Analysis
• Mathematics
• Duality
• Robust optimization
• Systems science

Throughput-Constrained Voltage and Frequency Scaling for Real-time Heterogeneous Multiprocessors Pengcheng Huang Orlando Moreira

Source URL: www.tik.ethz.ch

• Operations research
• Engineering
• Electronic engineering
• Electrical engineering
• Parallel computing
• Mathematical optimization
• Algorithm
• Throughput
• Phase-locked loop
• Scheduling
• Unfolding
• Integer programming

LECTURE NOTES ON MATROIDS MARTIN LOEBL Abstract. These are lecture notes for the first part of the lecture ”Introduction to Mathematical Programming”. 1. Basic concepts Definition 1.1. Let X be a finite set and S ⊂

Source URL: iti.mff.cuni.cz

Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan

Source URL: stijnheymans.net

• Predicate logic
• Mathematical logic
• Propositional calculus
• Automated theorem proving
• Query languages
• Datalog
• Prolog
• Logic programming
• Ground expression
• Horn clause
• Substitution
• First-order logic